You have chosen Empedocles, George Boolos and George Boolos.
All three must be different; choose another philosopher.